Formal specification and object-oriented design
نویسندگان
چکیده
منابع مشابه
Formal Specification of Object-Oriented Design
Software architectures and designs "notations" are typically based on bubble-and-arc diagrams. Embellishing these diagrams may increase their information content but does not make a language. A formal language has syntax, semantics, and inference rules, so that reasoning and automatic manipulation are made possible. We describe LePUS, a formal language for describing and reasoning about object ...
متن کاملIntegrating Object-Oriented Analysis and Formal Specification
One of the principal inhibitors to the widespread acceptance of formal specification methods is the difficulty of integrating formal specification with the development process. Integrated methods seek to mitigate this difficulty by integrating formal specification with widely used structured requirements analysis methods. Several structured and formal methods are object-oriented. This paper des...
متن کاملFormal Specification of Object-Oriented Meta-modelling
Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. Therefore meta-modelling, i.e....
متن کاملAn Object-oriented Approach to Formal Specification
Formal methods for software development are becoming increasingly necessary as softwarebecomes an important part of everyday life. To handle the complexities inherent in large-scale software systems these methods need to be combined with a sound developmentmethodology which supports modularity and reusability. Object orientation, based on theconcept that systems are composed of ...
متن کاملSpecification of Object - Oriented Design
Software architectures and designs "notations" are typically based on bubble-and-arc diagrams. Embellishing these diagrams may increase their information content but does not make a language. A formal language has syntax, semantics, and inference rules, so that reasoning and automatic manipulation are made possible. We describe LePUS, a formal language for describing and reasoning about object ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Microprocessing and Microprogramming
سال: 1992
ISSN: 0165-6074
DOI: 10.1016/0165-6074(92)90093-m